definition of ln(x)